Expressing Second-order Sentences in Intuitionistic Dependence Logic
نویسندگان
چکیده
منابع مشابه
Expressing Second-order Sentences in Intuitionistic Dependence Logic
Intuitionistic dependence logic was introduced by Abramsky and Väänänen [AV09] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependenc...
متن کاملSearching for Inductive Proofs in Second-Order Intuitionistic Logic
Several researchers have studied the problem of inductive reasoning about PROLOG programs, beginning with an early paper by Clark and Tarnlund [2]. The pioneering work of Kanamori and Seki [11] proposed an extended model of PROLOG execution and showed how this extended model could be used for program veri cation. A companion paper by Kanamori and Fujita [10] analyzed several techniques for the ...
متن کاملA secondary semantics for Second Order Intuitionistic Propositional Logic
We propose a Kripke-style semantics for second order intuitionistic propositional logic. Our semantics can be viewed as a secondary semantics with nested domains in the sense of Skvortsov [6]. Namely, let F be a Kripke frame, that is a partially ordered set, and let D(F) be the Heyting algebra of the upward-closed subsets of F . In principal semantics, quantifiers ranges over all the elements o...
متن کاملExpressing cardinality quantifiers in monadic second-order logic over chains
We study the extension of monadic second-order logic of order with cardinality quantifiers “there exists infinitely many sets” and “there exists uncountably many sets”. On linear orders that require the addition of only countably many points to be complete, we show using the composition method that the second-order uncountability quantifier can be reduced to the first-order uncountability quant...
متن کاملExpressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
We study an extension of monadic second-order logic of order with the uncountability quantifier “there exist uncountably many sets”. We prove that, over the class of finitely branching trees, this extension is equally expressive to plain monadic second-order logic of order. Additionally we find that the continuum hypothesis holds for classes of sets definable in monadic second-order logic over ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Logica
سال: 2013
ISSN: 0039-3215,1572-8730
DOI: 10.1007/s11225-013-9476-5